"在空间中,对角线互相平分的四边形一定是平行四边形",为什么